A Web-based Tool Combining Different Type Analyses
نویسندگان
چکیده
There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allow the analysis results to be examined conveniently by clicking on points in the original program clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal “domain model” of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.
منابع مشابه
Sociological Impact of Using Digital (Web-based) Analyses on Performance Measurement and Optimization of Digital Marketing among Young Managers (Case study: Digital-based Companies in Tehran)
This research aims to study the effect of using digital (web-based) analyses in performance measurement and optimization of digital marketing in digital-based companies in Tehran. The data collection tool was a researcher-made questionnaire. A panel of experts and supervisor were asked to measure the validity of the questionnaire. For reliability analysis of this tool, Cronbach’s alpha test was...
متن کاملCombining Curriculum with Different Types of Tourism as an Educational Tool: A Case Study
Based on the theoretical foundation of the study, it was hypothesized that the combination of curriculum with different types of tourism can help with the attainment of educational goals in different areas. A sample of 108 students and professors in three fields of Curriculum Planning, Educational Administration, and Tourism Management at Allameh Tabataba’i University provided the needed data. ...
متن کاملSeismic Reliability Evaluation of the Jacket Structure of an Offshore Platform Based on Nonlinear Time History Analyses
Regarding the previous earthquake damages in offshore structures, as vital structures in the oil and gas industries, it is important that their seismic design will be performed with very high reliability. Accepting the Nonlinear Time History Analyses (NLTHA) as the most reliable seismic analysis method, in this paper an offshore platform of jacket type with the height of 304 feet and with a dec...
متن کاملALT Explored: Integrating an Online Dialectometric Tool and an Online Dialect Atlas
In this paper, we illustrate the integration of an online dialectometric tool, Gabmap, together with an online dialect atlas, the Atlante Lessicale Toscano (ALT-Web). By using a newly created url-based interface to Gabmap, ALT-Web is able to take advantage of the sophisticated dialect visualization and exploration options incorporated in Gabmap. For example, distribution maps showing the distri...
متن کاملPAT: a protein analysis toolkit for integrated biocomputing on the web
PAT, for Protein Analysis Toolkit, is an integrated biocomputing server. The main goal of its design was to facilitate the combination of different processing tools for complex protein analyses and to simplify the automation of repetitive tasks. The PAT server provides a standardized web interface to a wide range of protein analysis tools. It is designed as a streamlined analysis environment th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/cs/0701110 شماره
صفحات -
تاریخ انتشار 2007